#ifndef __gpio_driver_h
#define __gpio_driver_h

// Included Files
//
#include "driverlib.h"
#include "device.h"
#include "board.h"
#include "user.h"
#include "timebase_10k.h"

#define myGPIO14_GPIO_PIN_CONFIG GPIO_14_GPIO14
#define myGPIO14 14
#define myINPUTXBARINPUT0_SOURCE 14
#define myINPUTXBARINPUT0_INPUT XBAR_INPUT1
#define myeCAP_SOURCE 15
#define myeCAP_SOURCE_INPUT XBAR_INPUT7

#define mySyncGpio_Input GPIO_11_GPIO11
#define mysyncGpio 11

void USER_InitGPIO(void);
void USER_initINPUTXBARINPUT(void);
__interrupt void gpioInterruptHandler(void);



#endif
